@inproceedings(
Fbounded,Author="P. Canning and W. Cook and W. Hill and J. Mitchell and W. Olthoff",
	Title="F-bounded quantification for object-oriented programming",
	Booktitle="Functional Prog. and Computer Architecture",
	Year="1989",pages="273-280")